221. Teamwork in multi-agent systems

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence

رده :
QA
،
76
.
76
،.
D8
،
2010

222. Teamwork in multi-agent systems

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Intelligent agents (Computer software),Formal methods (Computer science),Artificial intelligence,Electronic books., local

رده :
QA76
.
76
.
I58D98
2010

223. Teamwork in multi-agent systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Formal methods (Computer science),Intelligent agents (Computer software)

224. Teamwork in multi-agent systems : a formal approach

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Intelligent agents )Computer software(,، Formal methods )Computer science(,، Artificial intelligence

رده :
QA
76
.
76
.
I58
D98
2010

225. Tests and Proofs

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرم‌افزار -- آزمایش -- کنگره‌ها,نر‌م‌افزار -- راستی‌آزمایی -- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره‌ها

رده :
E-Book
,

226. Tests and proofs

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
76
.
T48
T37
2012eb

227. Theory and Applications of Formal Argumentation.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگره‌ها

رده :
QA
76
.
9
.
T46
2015
E-Book
,

228. Theory and Practice of Formal Methods.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,کامپیوتر,a04,a04,Formal methods (Computer science),Software engineering.,روش‌های صوری (کامپیوتر) ,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :
QA
76
.
9
.
F67T46
2016
E-Book
,

229. Theory and formal methods of computing 94

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Computer science--Congresses,Formal methods (Computer science)--Congresses

رده :
QA75
.
5
.
T525
1995

230. Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Computer science,Congresses ، Formal methods )Computer science(

رده :
QA
75
.
5
.
T525
1995

231. Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer science,Congresses ، Formal methods )Computer science(

رده :
QA
75
.
5
.
T525
1995

232. Transactions on computational science XV

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Research,Formal methods (Computer science),Natural computation

رده :
QA76
.
27
.
T73
2012eb

233. Trends 98 :-FM--Applied formal methods

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

234. Using Event-B for critical device software systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development,Formal methods (Computer science)

رده :
QA76
.
9
.
F67
S56
2013

235. Validated designs for object-oriented systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design

رده :
QA76
.
9
.
O35
,
V35
2005

236. Validated designs for object-oriented systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Object-oriented methods (Computer science),Formal methods (Computer science),System design

رده :
QA76
.
9
.
O35
,
V35
2005

237. Verification of reactive systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)

رده :
QA76
.
76
.
V47
K538
2004

238. Verification of reactive systems: formal methods and algorithms

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms

رده :
QA
76
.
76
.
V47
.
S34
2003

239. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42
.
F95
2008

240. Verification techniques for system-level design /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7895
.
E42
F95
2008eb